Inference and enforcement of data structure consistency specifications Brian Demsky1 , Michael D. Ernst2 , Philip J. Guo2 , Stephen McCamant2 , Jeff H. Perkins2 , Martin Rinard2 University of California at Irvine, Irvine

Source URL: pgbovine.net

• Internet Standards
• Internet protocols
• Computability theory
• Daikon
• Software testing
• Domain Name System Security Extensions
• Domain Name System
• Freeciv
• Programming language
• Object Process Methodology
• Specification language
• Internet protocol suite

CINT 2014A Accepted Proposals Adsorption and desorption of small molecules inside single-walled carbon nanotubes; Sofie Cambre; University of Antwerp: Stephen Doorn Application of electrophoresis to permit differential a

Source URL: cint.lanl.gov

• United States Department of Energy national laboratories
• New Mexico
• Science and technology in the United States
• Livermore
• California
• Lockheed Martin
• Sandia National Laboratories
• Los Alamos National Laboratory
• Sandia
• Los Alamos
• Potential applications of graphene
• Graphene

Efficient Tree Layout in a Multilevel Memory Hierarchy∗ Stephen Alstrup† Michael A. Bender‡ Martin Farach-Colton¶

Source URL: erikdemaine.org

EU: Small change, big impact Stephen Dale, Martin Blanche and Johnathan Davies PwC and Landwell & Associe´s The start of 2015 will bring the biggest single change to EU VAT

Source URL: ebiz.pwc.com

• Business
• European Union law
• Political economy
• Tax reform
• European Union value added tax
• Tax
• BT Group
• Invoice
• Ad valorem tax
• Value added taxes
• Taxation
• Public economics

Energy in Transport 2009 Report Report prepared by Martin Howley, Emer Dennehy & Dr Brian Ó Gallachóir Acknowledging the contributions of Neil Cammish, Stephen Cunningham & Diarmuid McDonnell.

Source URL: www.seai.ie

Multiple-Level Models for MultiModal Interaction Martin Russell1, Antje S. Meyer2, Stephen Cox3, Alan Wing2 1School of Engineering, University of Birmingham

Source URL: mi.eng.cam.ac.uk

UML as an Ontology Modelling Language Stephen Cranefield and Martin Purvis Department of Information Science University of Otago PO Box 56, Dunedin, New Zealand E-mail: fscranefield,

Source URL: sunsite.informatik.rwth-aachen.de

• Knowledge representation
• Software engineering
• Ontology
• ISO standards
• Information science
• Object Constraint Language
• Meta-Object Facility
• XML Metadata Interchange
• Metamodeling
• Unified Modeling Language
• Science
• Information

CCCG 2014, Halifax, Nova Scotia, August 11–13, 2014 Turning Orthogonally Convex Polyhedra into Orthoballs Fidel Barrera-Cruz∗, Therese Biedl†, Martin Derka†, Stephen Kiazyk†, Anna Lubiw†, Hamideh Vosoughpour

Source URL: www.cccg.ca

1. Introduction to the Analysis of Network Data via UCINET and NetDraw Stephen Borgatti University of Kentucky, Lexington KY USA. e-mail: Martin Everett University of Westminster, United Kingdom.

Source URL: www.insna.org

• Structure
• Ethology
• Self-organization
• Social information processing
• Surveillance
• Social network analysis
• Vladimir Batagelj
• Social networking service
• Barry Wellman
• Science
• Networks
• Network theory

Clockwise from main image: Male wallaroos dispute, photo: Jenny Martin; Gouldian finch, photo: Stephen Garnett; Alaric Fisher holds a northern quoll; Sandstone towers at Broadmere Station, NT Gulf, photo: Alaric Fisher;

Source URL: www.environorth.org.au

• Biodiversity
• Natural resource management
• Conservation biology
• Savanna
• Biology
• Environment
• Earth